A Differential Operator Approach to Equational Differential Invariants - (Invited Paper)
نویسنده
چکیده
Hybrid systems, i.e., dynamical systems combining discrete and continuous dynamics, have a complete axiomatization in differential dynamic logic relative to differential equations. Differential invariants are a natural induction principle for proving properties of the remaining differential equations. We study the equational case of differential invariants using a differential operator view. We relate differential invariants to Lie’s seminal work and explain important structural properties resulting from this view. Finally, we study the connection of differential invariants with partial differential equations in the context of the inverse characteristic method for computing differential invariants.
منابع مشابه
Lecture Notes on Differential Equations & Proofs
Lecture 10 on Differential Equations & Differential Invariants introduced equational differential invariants of the form e = 0 for differential equations that are much more general than the ones supported by axiom [′] from Lecture 5 on Dynamical Systems & Dynamic Axioms. Axiom [′] replaces properties of differential equations with universally quantified properties of solutions, but is limited t...
متن کاملBi-concave Functions Defined by Al-Oboudi Differential Operator
The purpose of the present paper is to introduce a class $D_{Sigma ;delta }^{n}C_{0}(alpha )$ of bi-concave functions defined by Al-Oboudi differential operator. We find estimates on the Taylor-Maclaurin coefficients $leftvert a_{2}rightvert $ and $leftvert a_{3}rightvert$ for functions in this class. Several consequences of these results are also pointed out in the form of corollaries.
متن کاملAiry equation with memory involvement via Liouville differential operator
In this work, a non-integer order Airy equation involving Liouville differential operator is considered. Proposing an undetermined integral solution to the left fractional Airy differential equation, we utilize some basic fractional calculus tools to clarify the closed form. A similar suggestion to the right FADE, converts it into an equation in the Laplace domain. An illustration t...
متن کاملAsymptotic distribution of eigenvalues of the elliptic operator system
Since the theory of spectral properties of non-self-accession differential operators on Sobolev spaces is an important field in mathematics, therefore, different techniques are used to study them. In this paper, two types of non-self-accession differential operators on Sobolev spaces are considered and their spectral properties are investigated with two different and new techniques.
متن کاملExistence of at least three weak solutions for a quasilinear elliptic system
In this paper, applying two theorems of Ricceri and Bonanno, we will establish the existence of three weak solutions for a quasilinear elliptic system. Indeed, we will assign a differentiable nonlinear operator to a differential equation system such that the critical points of this operator are weak solutions of the system. In this paper, applying two theorems of R...
متن کامل